theorem 12.1.2 class 9